Algorithm logic

Synonyms for "algorithm logic" (9 found)

Ranked by relevance and common usage.

Closest matches (2)

Noun(2 words)
algorithmic reasoningcomputational logic

Strong matches (3)

Noun(3 words)
formal logicformal verificationlogic of algorithms

Related words (4)

Noun(4 words)
logical foundationsprocedural logictheory of algorithmsverification logic

Related word relations

OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.

5 relation types

More general

5 entries
computer science theorycomputing theoryformal methodslogicverification

More specific

13 entries
branching logicconditional logiccontrol-flow logicformal specification languageinvariant verificationlogical modelingloop invariantmodel checkingpostcondition logicprecondition logicprogress analysisstate update logictermination analysis

Collocations

6 entries
algorithmic logiccomputational logiccontrol flowformal logicloop invariantstate transition

Inflections

1 entries
algorithm logics

Derivations

2 entries
algorithmicalgorithmic logic